
\frame
{
  \frametitle{Bugs in software}
  \B
  \item Programmers are smart
  \item We have good techniques (e.g., unit testing, pair programming, code inspections)
        for finding bugs early
  \item So, most bugs remaining in production code must be subtle, and require
        sophisticated techniques to find
  \item Right?
  \E
}

\frame[containsverbatim]
{
  \frametitle{JDK1.6.0, b105, sun.awt.x11.XMSelection}
{\large
\begin{verbatim}
if (listeners == null) 
    listeners.remove(listener);
\end{verbatim}
}
}

\frame[containsverbatim]
{
  \frametitle{JDK1.6.0, b13, java.lang.annotation.AnnotationTypeMismatchException}
{\large
\begin{verbatim}
public String foundType() {
   return this.foundType();
 }
\end{verbatim}
}
}


\frame[containsverbatim]
{
  \frametitle{JDK1.6.0, b105, com.sun.xml.internal.txw2.output.XMLWriter}
{\large
\begin{verbatim}
try { ... }
catch (IOException e) {
  new SAXException("Server side Exception:" + e);
  }
\end{verbatim}
}
}
